Type Inference with Rank 1 Polymorphismfor Type-Directed Compilation of ML